61. Computability and logic
Author:
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computable functions,Recursive functions,Logic, Symbolic and mathematical
Classification :
E-BOOK
62. Computability and logic
Author: / George Boolos, Richard Jeffrey
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Recursive functions,Logic, symbolic and mathematical
Classification :
511
.
3
B724c
63. Computability and logic
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computable functions.,Recursive functions.,Logic, Symbolic and mathematical.
Classification :
QA
,
9
.
59
,.
B66
,
2002
64. Computability and logic
Author: George Boolos, Richard Jeffrey
Library: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
Subject: Computable functions,Recursive functions
Classification :
511
.
3
B724C
65. Computability and logic
Author: Boolos, George S., 0491-6991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B66C6
66. Computability and logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
67. Computability and logic
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computable functions,Recursive functions,Logic, Symbolic and mathematical
Classification :
QA9
.
59
.
B66
2002
68. Computability and logic
Author: Boolos, George S., 0491-6991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
B66C6
1989
69. Computability and logic
پدیدآورنده : George S. bools, John P.Burgess, Richard C. Jeffrey
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
70. Computability and unsolvability
Author: Davis, Martin, 8291-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
Classification :
QA
9
.
615
.
D38
1982
71. Computability and unsolvability
Author: / Martin Davis
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Recursive functions
Classification :
QA
248
.
5
.
D3
72. Computability, complexity, and languages :
Author: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Formal languages,Machine theory
Classification :
QA267
.
D38
1994
73. Computability in context :
Author: editors, S. Barry Cooper, Andrea Sorbi
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Computational intelligence,Mathematics-- Philosophy,Set theory
Classification :
QA9
.
59
.
C655
2011
74. Computability theory
Author: Herbert B. Enderton
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Recursion theory
Classification :
QA
9
,.
6
.
E52C6
2011
75. Computability theory /
Author: Rebecca Weber
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
6
.
W43
2012
76. Computability theory: an introduction
پدیدآورنده : )by( Neil D. Jones,Title
موضوع : Recursive functions,Turing machines,Computable functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
77. Computability theory : an introduction to recursion theory
Author: Enderton, Herbert B.
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
E53
2011
78. Computability & unsolvability
پدیدآورنده : Davis, Martin
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
79. Computability & unsolvability
Author: DAVIS,MARTIN DAVID
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS
Classification :
QA
9
.
615
.
D38
80. Computability & unsolvability
Author: DAVIS,MARTIN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTERS FUNCTIONS
Classification :
QA
9
.
615
.
D38
1982
